-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("4b75983f-20fc-4d6a-b89c-11f08886504e",
	"12284507-5310-4a85-907b-66614ad18d66");
INSERT INTO SM_SM
	VALUES ("4b75983f-20fc-4d6a-b89c-11f08886504e",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("4b75983f-20fc-4d6a-b89c-11f08886504e");
INSERT INTO GD_MD
	VALUES ("c95959cd-6c67-43f7-8bd9-67ae387e9817",
	8,
	"4b75983f-20fc-4d6a-b89c-11f08886504e",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	0,
	0,
	0,
	'',
	'shlaer-mellor_metamodel_verifier::Metamodel Verifier::Metamodel Verifier::Metamodel Verifier::Datatype Verification::Instance State Machine');
INSERT INTO DIM_DIA
	VALUES ("c95959cd-6c67-43f7-8bd9-67ae387e9817",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("12284507-5310-4a85-907b-66614ad18d66",
	'Datatype Verification',
	5,
	'DatatypeVerification',
	'Collect and verify datatypes',
	"00000000-0000-0000-0000-000000000000",
	'../Datatype Verification.xtuml');
